#include <WDT.h>

#if WDT_EN

void wdt_feed()
{
    WDT_CONTR |= 0x10;
}
void wdt_begin(wdt_clk clk, wdt_idle_mode mode)
{
    WDT_CONTR = 0x30 | (mode << 3) | clk;
}

void wdt_end()
{
    WDT_CONTR = 0x00;
}

#endif
